1. The Temporal Logic of Reactive and Concurrent Systems :
Author: by Zohar Manna, Amir Pnueli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
6
B996
1992
